$\forall$$i$:Id, $L$:(Id List), $k$:Knd. @$i$: $k$ affects only members of $L$ $\in$ Dsys